101. Automated Deduction - A Basis for Applications
Author: edited by Wolfgang Bibel, Peter H. Schmitt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
102. Automotive Simulation '91 :
Author: edited by Moshe R. Heller.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer input-output equipment.,Computer simulation.,Engineering.
104. Batch Processing Systems Engineering :
Author: edited by Ginraras V. Reklaitis, Aydin K. Sunol, David W.T. Rippin, Öner Hortaçsu.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Chemical engineering.,Computer science.
Classification :
TP155
.
75
E358
1996
105. Bio-inspired algorithms in PID controller optimization /
Author: Jagatheesan Kaliannan, Anand Baskaran, Nilanjan Dey, Amira S. Ashour.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cogeneration of electric power and heat.,Electric power systems-- Load dispatching-- Mathematics.,Interconnected electric utility systems-- Automation.,Mathematical optimization.,Nature-inspired algorithms.,PID controllers.,Cogeneration of electric power and heat.,Interconnected electric utility systems-- Automation.,Mathematical optimization.,Nature-inspired algorithms.,PID controllers.,TECHNOLOGY & ENGINEERING / Mechanical.
Classification :
TK1007
.
K35
2018
106. Biosystems engineering /
Author: Ahindra Nag.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Biochemical engineering.,Systems engineering.,Biochemical engineering.,SCIENCE-- Biotechnology.,Systems engineering.
Classification :
TP248
.
3
.
N34
2010eb
107. CFD for design and optimization. presented at the 1995 ASME International Mechanical Engineering Congress and Exposition, November 12-17, 1995, San Francisco, California
Author: Sponsored by the Fluids Engineering Division, ASME; Edited by Oktay Baysal
Library: CENTRAL LIBRARY UNIVERCITY OF HORMOZGAN (Hormozgan)
Subject: ، Air flow, Mathematical models, Congresses,، Fluid dynamics, Data processing, Congresses,، Fluid dynamics, Mathematics, Congresses
Classification :
TL
574
.
C33
1995
108. Cam Synthesis
Author: by M.A. Gonzalez-Palacios, J. Angeles.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Engineering.,Mechanical engineering.,Mechanics.
Classification :
TJ206
.
B963
1993
109. Chemical and catalytic reactor modeling :
Author: Milorad P. Duduković, editor ; Patrick L. Mills, editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Catalysis-- Mathematical models, Congresses.,Chemical reactors-- Mathematical models, Congresses.
Classification :
TP157
.
C33
1984
110. Combinatorial and global optimization /
Author: editors, Panos M. Pardalos, Athanasios Migdalas, Rainer E. Burkard.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial optimization, Congresses.,Mathematical optimization, Congresses.,Nonlinear programming, Congresses.,Optimisation combinatoire, Congrès.,Optimisation mathématique, Congrès.,Programmation non linéaire, Congrès.,Combinatorial optimization.,Mathematical optimization.,MATHEMATICS-- Combinatorics.,Nonlinear programming.
Classification :
QA402
.
5
.
C5435
2002eb
111. Combinatorial optimization in communication networks /
Author: edited by Maggie Xiaoyan Cheng, Yingshu Li, Ding-Zhu Du.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial optimization.,Telecommunication systems.,Combinatorial optimization.,Combinatorial optimization.,Informatique.,TECHNOLOGY & ENGINEERING-- Telecommunications.,Telecommunication systems.,Telecommunication systems.
Classification :
TK5102
.
5
.
C66
2006eb
112. Computational Mechanics '95
Author: edited by S. N. Atluri, G. Yagawa, Thomas Cruse.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Engineering.,Mechanics, applied.
113. Computational approaches to materials design :
Author: Shubhabrata Datta and J. Paulo Davim, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Materials-- Mathematical models.,Materials-- Mathematical models.,TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.
Classification :
TA404
.
8
.
C657
2016e
114. Computational intelligence and big data analytics :
Author: Ch. Satyanarayana, Kunjam Nageswara Rao, Richard G. Bush.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Big data.,Computational intelligence.,Data mining.,Big Data.,Bioinformatics.,Biomedical Engineering/Biotechnology.,Information Systems Applications (incl. Internet),Mathematical Models of Cognitive Processes and Neural Networks.,Artificial intelligence.,Big data.,Biomedical engineering.,Computational intelligence.,COMPUTERS / General.,Data mining.,Databases.,Information retrieval.,Mathematical modelling.,Molecular biology.
Classification :
Q342
115. Computational modeling in tissue engineering
Author: Liesbet Geris, editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Models, Theoretical.,Tissue engineering -- Computer simulation.,Tissue engineering -- Mathematical models.
Classification :
R857
.
T55
L547
2013
116. Computer Aided Verification :
Author: Isil Dillig, Serdar Tasiran (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
758
.
C38
2019
117. Computer aided methods in optimal design and operations
Author: / editors, I. D. L. Bogle, J. ?�ilinskas
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Mathematical optimization--Congresses,Computer-aided design--Congresses,Control theory--Congresses,Chemical engineering--Mathematical models--Congresses
Classification :
T
,
385
,.
C5534
,
2006
QA
,
402
.
5
,.
C557
,
2006
118. Computer aided methods in optimal design and operations
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: aided design ; Congresses. ; Mathematical optimization ; Congresses. ; Control theory ; Congresses. ; Chemical engineering ; Mathematical models ; Congresses. ; -Computer
119. Computer aided methods in optimal design and operations /
Author: editors, I.D.L. Bogle, J. Žilinskas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Chemical engineering-- Mathematical models, Congresses.,Computer-aided design, Congresses.,Control theory, Congresses.,Mathematical optimization, Congresses.,Chemical engineering-- Mathematical models.,Computer-aided design.,COMPUTERS-- CAD-CAM.,Control theory.,Mathematical optimization.
Classification :
T385
.
C5534
2006eb
120. Computer aided methods in optimal design and operations
Author:
Library: Central Library and Document Center of Arak University (Markazi)
Subject: Computer-aided design,Mathematical optimization,Control theory,Chemical engineering -- Mathematical models
Classification :
620
.
0042
C738
